Buy Used and New Frank Pfenning Books

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings: 4603 (Lecture Notes in Computer Science, 4603)

by Frank Pfenning

ISBN 13: 9783540735946

Format: Illustrated (536 pages)
Publisher: Springer
Published: 05 Jul 2007

Save for later

Logic Programming and Automated Reasoning: 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings: 822 (Lecture Notes in Computer Science)

by Frank Pfenning

ISBN 13: 9783540582168

Format: Paperback (364 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings: 4098 (Lecture Notes in Computer Science)

by Frank Pfenning

ISBN 13: 9783540368342

Format: Illustrated (436 pages)
Publisher: Springer
Published: 26 Jul 2006

Save for later

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint ... (Lecture Notes in Computer Science)

by Frank Pfenning

ISBN 13: 9783642370748

Format: Paperback (476 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings: 2830 (Lecture Notes in Computer Science)

by Frank Pfenning, Yannis Smaragdakis

ISBN 13: 9783540201021

Format: Illustrated (390 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later